writable_pl1e in shadow mode is a machine address, so
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 30 Nov 2005 10:36:57 +0000 (11:36 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 30 Nov 2005 10:36:57 +0000 (11:36 +0100)
commitaf9e4ad732f8e22c97af97aa1c5243eb6690b18f
tree26ad1f17b1a7f4dda43c43ff2ee9b711bfb18b58
parentbb6d2f8575a6e8434d796224785fdc68ec3aaf3f
writable_pl1e in shadow mode is a machine address, so
is type physaddr_t, not unsigned long.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/include/asm-x86/shadow.h